/* Fichier compilé vers C */
{
return ILP_Minus( ILP_Integer2ILP(43) ,  ILP_Integer2ILP(34) ) ;
}
